Program logic

Results: 2056



#Item
381Methodology / Impact assessment / Logic model / Program evaluation / Empowerment evaluation / MEASURE Evaluation / Evaluation methods / Evaluation / Sociology

Quality Assurance: Monitoring and Evaluation to Inform Practice and Leadership Transformation Framework

Add to Reading List

Source URL: download.microsoft.com

Language: English - Date: 2014-10-20 14:30:58
382Sociology / Impact assessment / Impact evaluation / Observational study / Philosophy of science / Program evaluation / Systems engineering process / Logic model / Evaluation / Evaluation methods / Science

Departmental Guide to Incorporating Monitoring and Evaluation into Policy, Program and Regulatory Design

Add to Reading List

Source URL: www.infrastructure.gov.au

Language: English - Date: 2015-04-02 00:52:38
383Formal methods / Program logic / Predicate transformer semantics / Logic programming / Social vulnerability / Vulnerability / Algorithm / FO / KeY / Theoretical computer science / Logic / Applied mathematics

Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
384Science / Obesity / Standard evaluation framework / Randomized controlled trial / Logic model / Public health / Program evaluation / Impact evaluation / Health / Evaluation / Evaluation methods

Standard Evaluation Framework for weight management interventions National Obesity Observatory. Standard Evaluation Framework for weight management interventions 2

Add to Reading List

Source URL: getmoving.tas.gov.au

Language: English - Date: 2012-06-28 01:24:49
385Thought / Impact assessment / Philosophy of science / Scientific method / Program evaluation / Logic model / Evaluation approaches / Strategic management / Scientific theory / Science / Evaluation / Evaluation methods

Contribution analysis: An approach to exploring cause and effect John Mayne Questions of cause and effect are critical to assessing the performance of programmes and projects. When it is not practical to design an experi

Add to Reading List

Source URL: www.bond.org.uk

Language: English - Date: 2012-01-18 09:31:27
386Program logic / Procedural programming languages / Data types / Primitive types / Type theory / Pointer / Hoare logic / Linked list / C / Software engineering / Computing / Computer programming

The Pointer Assertion Logic Engine Anders Møller & Michael I. Schwartzbach BRICS Department of Computer Science University of Aarhus, Denmark {amoeller,mis}@brics.dk

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2002-06-14 03:07:08
387Natural deduction / Symbol / Mathematics / Function / Mathematical logic

Dependent Types for Program Termination Verification ∗ Hongwei Xi Computer Science Department

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2006-03-08 16:11:00
388Methodology / Impact assessment / Program evaluation / Logic model / Performance-based budgeting / Gang Resistance Education and Training / Performance measurement / Empowerment evaluation / MEASURE Evaluation / Evaluation methods / Evaluation / Sociology

Introduction to Program Evaluation for Public Health Programs: A Self-Study Guide

Add to Reading List

Source URL: www.cdc.gov

Language: English - Date: 2015-04-02 10:59:48
389Thought / Systems engineering process / Logic model / Usability / Empowerment evaluation / Program evaluation / Evaluation methods / Evaluation / Sociology

Foundation Document Standards for Evaluation in the UN System April 2005

Add to Reading List

Source URL: www.alnap.org

Language: English - Date: 2015-01-28 10:07:13
390Impact assessment / Program evaluation / Logic model / Evaluation methods / Evaluation / Sociology

Microsoft Word - eTip.FINAL REPORT.V8.docx

Add to Reading List

Source URL: www.evaluativethinking.org

Language: English - Date: 2015-01-16 20:46:42
UPDATE